大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Naval Ship Weapon Systems Engineering Station (U.S.) 的图书(共6374本)

Formal Methods for Model-Driven Engineering [electronic resource] : 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures

0
索取号：
作者：Bernardo、 Marco.、Cortellessa、 Vittorio.、Pierantonio、 Alfonso.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Mobile and Ubiquitous Systems: Computing, Networking, and Services [electronic resource] : 8th International ICST Conference, MobiQuitous 2011, Copenhagen, Denmark, December 6-9, 2011, Revised Selected Papers

0
索取号：
作者：Puiatti、 Alessandro.、Gu、 Tao.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Information Security Theory and Practice. Security, Privacy and Trust in Computing Systems and Ambient Intelligent Ecosystems [electronic resource] : 6th IFIP WG 11.2 International Workshop, WISTP 2012, Egham, UK, June 20-22, 2012. Proceedings

0
索取号：
作者：Askoxylakis、 Ioannis.、P枚hls、 Henrich C.、Posegga、 Joachim.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Intelligent Tutoring Systems [electronic resource] : 11th International Conference, ITS 2012, Chania, Crete, Greece, June 14-18, 2012. Proceedings

0
索取号：
作者：Cerri、 Stefano A.、Clancey、 William J.、Papadourakis、 Giorgos.、Panourgia、 Kitty.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Agent and Multi-Agent Systems. Technologies and Applications [electronic resource] : 6th KES International Conference, KES-AMSTA 2012,Dubrovnik, Croatia, June 25-27, 2012. Proceedings

0
索取号：
作者：Jezic、 Gordan.、Kusek、 Mario.、Nguyen、 Ngoc-Thanh.、Howlett、 Robert J.、Jain、 Lakhmi C.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Management Intelligent Systems [electronic resource] : First International Symposium

0
索取号：
作者：Casillas、 Jorge.、Mart铆nez-L贸pez、 Francisco J.、Corchado Rodr铆guez、 Juan Manuel.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Software Service and Application Engineering [electronic resource] : Essays Dedicated to Bernd Kr盲mer on the Occasion of His 65th Birthday

0
索取号：
作者：Heisel、 Maritta.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Distributed Applications and Interoperable Systems [electronic resource] : 12th IFIP WG 6.1 International Conference, DAIS 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings

0
索取号：
作者：G枚schka、 Karl Michael.、Haridi、 Seif.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Formal Techniques for Distributed Systems [electronic resource] : Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings

0
索取号：
作者：Giese、 Holger.、Rosu、 Grigore.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Modern Advances in Intelligent Systems and Tools [electronic resource]

0
索取号：
作者：Ding、 Wei.、Jiang、 He.、Ali、 Moonis.、Li、 Mingchu.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Complex Systems and Dependability [electronic resource]

0
索取号：
作者：Zamojski、 Wojciech.、Mazurkiewicz、 Jacek.、Sugier、 Jaros艂aw.、Walkowiak、 Tomasz.、Kacprzyk、 Janusz.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Mobile Wireless Middleware, Operating Systems, and Applications [electronic resource] : 4th International ICST Conference, Mobilware 2011, London, UK, June 22-24, 2011, Revised Selected Papers

0
索取号：
作者：Venkatasubramanian、 Nalini.、Getov、 Vladimir.、Steglich、 Stephan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Multiple Fuzzy Classification Systems [electronic resource]

0
索取号：
作者：Scherer、 Rafa艂.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Software Engineering Research, Management and Applications 2012 [electronic resource]

0
索取号：
作者：Lee、 Roger.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Modeling and Simulation in Engineering, Economics and Management [electronic resource] : International Conference, MS 2012, New Rochelle, NY, USA, May 30 - June 1, 2012. Proceedings

0
索取号：
作者：Engemann、 Kurt J.、Gil-Lafuente、 Anna M.、Merig贸、 Jos茅 M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Enabling Flexibility in Process-Aware Information Systems [electronic resource] : Challenges, Methods, Technologies

0
索取号：
作者：Reichert、 Manfred.、Weber、 Barbara.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.